New Czech & Certified Methodology „Tools of Resilience“

Standardization and Validation of Organizational Resilience Tools in Military Hospitals

Background and Aim: Due to the unpredictability of crises, organizational resilience can provide the ability of the organizations to adapt to crisis situations without collapse or failure. The aim of this study was to explain and validate the components of organizational resilience in military hospitals. Methods: The first phase of the qualitative study was conducted using framework analysis to...

Certified Development Tools Implementation in Objective Caml

This paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools implementation. As a result, Objective Caml is now used for the new Scade certified embedded-code generator. The requirements for tools implementation are less strict than those for the embedded code itself. However, they are still quite demanding and linked to imperative ...

New Tools to Meet New Challenges: Emerging Technologies for Managing Marine Ecosystems for Resilience

A the momentum for the study of ecosystem resiliency increases, more data are critically needed about the members of the ecosystems under study. Ironically, ecosystem-based management places even greater demands on the study of individual organisms because of the need for simultaneous information on multiple species. Specifically, what species are present or absent? What are their distributions...

The INGENIAS Methodology and Tools

INGENIAS provides a notation for modeling multi-agent systems (MAS) and a well-defined collection of activities to guide the development process of an MAS in the tasks of analysis, design, verification, and code generation, supported by an integrated set of tools—the INGENIAS Development Kit (IDK). These tools, as well as the INGENIAS notation, are based on five meta-models that define the diff...

System Design Methodology and Tools